Перевод: с английского на все языки

со всех языков на английский

operator formalism

См. также в других словарях:

  • Operator theory — In mathematics, operator theory is the branch of functional analysis that focuses on bounded linear operators, but which includes closed operators and nonlinear operators. Operator theory also includes the study of algebras of operators. Contents …   Wikipedia

  • McCarthy Formalism — In computer science and recursion theory the McCarthy Formalism (1963) of computer scientist John McCarthy clarifies the notion of recursive functions by use of the IF THEN ELSE construction common to computer science, together with the four of… …   Wikipedia

  • HPO formalism — The History Projection Operator (HPO) formalism is an approach to temporal quantum logic developed by Chris Isham. It deals with the logical structure of quantum mechanical propositions asserted at different points in time. Introduction In… …   Wikipedia

  • BRST formalism — (A draft of an alternate exposition has been added at BRST quantization.)In theoretical physics, the BRST formalism is a method of implementing first class constraints. The letters BRST stand for Becchi, Rouet, Stora, and (independently) Tyutin… …   Wikipedia

  • Closure operator — In mathematics, a closure operator on a set S is a function cl: P(S) → P(S) from the power set of S to itself which satisfies the following conditions for all sets X,Y ⊆ S. X ⊆ cl(X) (cl is extensive) X ⊆ Y implies cl(X) ⊆ cl(Y)   (cl… …   Wikipedia

  • Batalin-Vilkovisky formalism — In theoretical physics, Batalin Vilkovisky (BV) formalism was developed as a method for determining the ghost structure for theories, such as gravity and supergravity, whose Hamiltonian formalism has constraints not related to a Lie algebra… …   Wikipedia

  • Gupta-Bleuler formalism — In quantum field theory, the Gupta Bleuler formalism is a way of quantizing the electromagnetic field. The formulation is due to theoretical physicist Suraj N. Gupta and Konrad Bleuler.Let s start with a single photon first. A basis of the one… …   Wikipedia

  • Resolvent formalism — In mathematics, the resolvent formalism is a technique for applying concepts from complex analysis to the study of the spectrum of operators on Hilbert spaces and more general spaces.The resolvent captures the spectral properties of an operator… …   Wikipedia

  • Discrete Laplace operator — For the discrete equivalent of the Laplace transform, see Z transform. In mathematics, the discrete Laplace operator is an analog of the continuous Laplace operator, defined so that it has meaning on a graph or a discrete grid. For the case of a… …   Wikipedia

  • Difference operator — In mathematics, a difference operator maps a function, f ( x ), to another function, f ( x + a ) − f ( x + b ).The forward difference operator :Delta f(x)=f(x+1) f(x),occurs frequently in the calculus of finite differences, where it plays a role… …   Wikipedia

  • Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»